Context-dependent Abduction and Relevance

Based on the premise that what is relevant, consistent, or true may change from context to context, a formal framework of relevance and context is proposed in which contexts are mathematical entities each context has its own language with relevant implication the languages of distinct contexts are connected by embeddings inter-context deduction is supported by bridge rules databases are sets of formulae tagged with deductive histories and the contexts they belong to abduction and revision are supported by a notion of consistency of formulae and sets of formulae which are relative to a context, and which can, in turn, be seen as constituents of agendas.